Computer and Modernization ›› 2010, Vol. 1 ›› Issue (3): 184-4.doi: 10.3969/j.issn.1006-2475.2010.03.052

• 算法分析与设计 • Previous Articles     Next Articles

Method for Intervalbased Program Invariant Detection

CHEN Cai   

  1. School of Computer Science and Technology, University of South China, Hengyang 421001, China
  • Received:2009-11-11 Revised:1900-01-01 Online:2010-03-20 Published:2010-03-20

Abstract:

The detection of program invariants is an effective way to improve software quality. Static analysis is one research direction of discovering program invariants. This paper, based on the theory of mathematic and combined with graphical methods, gives a simple and effective static analysis method for the interval invariant, describes its testing process, and validates this method with examples.

Key words: program invariants, static analysis, graphical methods